package org.redr.widgetGUI.settings;

import org.w3c.dom.Element;

public class SessionSettings extends XMLSetting{
	
	public SessionSettings(Element el){
		e = el;
	}

}
